Texas higher education enrollment reaches all-time high