how thick is a concrete pool shell?