Normalization for Multimodal Type Theory