Fox: Texas AG Ken Paxton announces run for US Senate