Texas oil and gas boom may help ease state budget crunch