Update mining.md