Orange County school boards grapple with state's student mask mandate