Shale boom has major impact on Texas' budget