Evaluation of an atlas-defined semi-automatic annotation workflow for digital neuropathology: a pilot study in ataxia telangiectasia mouse model