the cost of the state of Texas suing the Obama administration