¿Cuál es la propiedad de CSS que permite establecer el tipo de numeración en una lista ordenada?