Salaries of top-paid TxDOT execs up 42.5 percent