buying a house with a pool