Aspects of atmospheric science and instrumentation for martian missions