Democrats are banking on Donald Trump winning the GOP nomination. What happens if he does not?