extradural mucocele