What’s the deal with a contested convention, anyway?