Text this: Theoretical investigation on models of circadian rhythms based on dimerization and proteolysis of PER and TIM