Milan e Inter, voci sullo scambio José Mauri-Ranocchia: i dettagli