how many real estate agents in florida