cerebellar ataxia types