Construction and operation of a semi-Olympic-sized indoor swimming pool (cold and hot)