Manchester City sign defender Ruben Dias from Benfica on a six-year deal for around £65m.