Sen. Ted Cruz running for president