¿Qué etiqueta se utiliza para crear una lista ordenada en HTML?