Official: Lucio signs for Juventus