Electing the Doge of Venice: analysis of a 13th Century protocol [pdf]