Florida gas prices may spike as tax holiday comes to an end