¿Qué atributo del elemento <option> se utiliza para deshabilitar una opción específica en un menú desplegable?