Rebuilding cerebellar network computations from cellular neurophysiology