The GOP's nuclear option: how Trump could be denied the nomination even with a majority