Question: What is the average height of players that have an overall rating higher than the average?
SQL: SELECT avg ( T1.height )  FROM Player AS T1 JOIN Player_Attributes AS T2 ON T1.player_api_id  =  T2.player_api_id WHERE T2.overall_rating  >   (  SELECT avg ( overall_rating )  FROM Player_Attributes  )