Definitions of mineral extraction:

• noun:   crushing and separating ore into valuable substances or waste by any of a variety of techniques