Ruben Dias has become Manchester City's all-time record signing after completing a £64.3million transfer from Benfica.