Mining Explained: Discovery, Extraction, Refining, Marketing, Investing