Deep learning-based automated lesion segmentation on mouse stroke magnetic resonance images