¿Qué atributo se utiliza para especificar el valor inicial de una lista ordenada en HTML?