How much does an inground pool cost in florida