Summer sales tax holiday underway in Florida