Fixed md formatting in MINING.md