what is the mining of microsoft