Ted Cruz reverses, says he’ll vote for Donald Trump in November