how much texas lottery money goes to education