Internal decompressive craniectomy with craniotomy: a novel surgical therapy of giant frontal mucocele complicated by subdural empyema