Texas is getting far less in federal money for broadband expansion than expected