Manchester City have made Benfica goalkeeper Ederson their second signing of the summer, it has been confirmed