It may sound out of this world but even bigger things are in the pipeline.
NASA are building modular Landing craft that burn components (Magnesium alloys) light and combustable/ to relaunch to Earth. They use Supercritical Carbon Dioxide to extract it.
Carbon Dioxide is the main Gas on Mars, so aboundant

You may think its science fiction but the same technology today produces the bulk of our decaffeinated coffee and hops in your beer as an example, CUB. it extracts essential oils better than anything and even heavy metals using pressure and temperature to set up the phase change between liquid to gas. Its ideal to clean up for heavy metals as that was its original purpose so very applicable to mining and extraction in the 21st century.