Texas high schools turn to virtual teachers in the wake of staffing shortages