Texas school enrollment down