The exenterated mastoid: a problem of ear surgery