dimension s of high school swimming pool