Gravar-mail: Predicting and correcting ataxia using a model of cerebellar function