Computational modeling of protein interactions and phosphoform kinetics in the KaiABC cyanobacterial circadian clock