Dias will join City with Nicolas Otamendi going the other way after Pep Guardiola's side were embarrassed in 5-2 Premier League defeat to the Foxes