A cerebellar mechanism for learning prior distributions of time intervals