Official: Lucio leaves Inter