Report: Texas public school enrollment tops 5 million