Manchester City have reached an agreement with Benfica for the transfer of Portuguese defender Ruben Dias.