how mineral resources are mined