How to remove a pool by emptying it and building a structure over it using the pool itself as a basement?