On definability in multimodal logic