An allosteric model of circadian KaiC phosphorylation