Official: Roma purchase Pau Lopez