Computational model of cerebellar transcranial direct current stimulation