Ted Cruz Can Win Against Donald Trump in a Contested Republican Convention