Lugar de publicación Short-term open-pit mine production scheduling with hierarchical objectives 2019