Gov. DeSantis' executive order on masks in schools brings both praise, pushback