Farewell Franco Baresi: Milan mourns an icon, world football loses a legend