to extract (ore, minerals etc); to refine; to purify; to process