Texas Attorney General Ken Paxton officially announces he is running for U.S. Senate