person who extracts minerals Synonyms