The Olympic pool for diving and water polo gets its heat from data centers