Feds sending Texas $5.47 billion for infrastructure