On the impact of the COVID-19 pandemic on air quality in Florida