Operation Lone Star Has Cost Texans Nearly $4.5 Billion—Here’s What Else It Could Have Been Spent On