Analysis of the BraTS 2023 Intracranial Meningioma Segmentation Challenge