HumanBrainAtlas: an in vivo MRI dataset for detailed segmentations