The Portugal international's arrival at the Etihad takes Pep Guardiola's spending on defenders past the £400million mark, while Nicolas Otamendi has moved in the opposite direction