Viking on Mars: The carbon assimilation experiments