Man City’s £62million deal for centre-back Ruben Dias confirmed by Benfica, with Nicolas Otamendi moving other way