Big data management in the mining industry