Cerebellar adaptive mechanisms explain the optimal control of saccadic eye movements