The diagnosis and management of mastoiditis in children.