Quantitative anatomic study of the minipterional craniotomy in the paraclinoid region: benefits of the extradural anterior clinoidectomy.