Which of the following sets the state's budget, devoting much funding to education?