texas revenue shortfall