Reverse-translational identification of a cerebellar satiation network