What is the procedure for obtaining a building permit for a pool?