Neural circuits of the cerebellum: hypothesis for function