Mitigation of greenhouse gases released from mining activities: A review