定义投票程序中的两个模型：问题和选项。