management of mining operations