operation research in mining operations