What the sequester means for Texas