The calculus of voting in compulsory voting systems