It’s official: Agnelli to leave Vale