The case for in situ resource utilisation for oxygen production on Mars by non-equilibrium plasmas