Principles of operation of a cerebellar learning circuit