“The Texas Energy Office's Loan Star Program has reduced building energy consumption and taxpayers' energy costs through the efficient operation of public buildings, saving taxpayers more than $172 million through energy efficiency projects.”