Texas wants to create a $5 billion fund for broadband infrastructure