The complicated business of electing a Doge