Mathematical modelling of circadian signalling in Arabidopsis