General: how many lanes does an olympic swimming pool have