Leonardo will be Inter boss