The petrosal nerves: Anatomy, pathology, and surgical considerations