Roles of methane and carbon dioxide in geological processes on Mars