Manchester City have signed 23-year-old defender Ruben Dias from Benfica on a six-year deal for around £65m.