Manchester City have made their biggest move of the summer transfer window, announcing the signing of centre-back Josko Gvardiol from RB Leipzig.