The carbon cycle on early Earth—and on Mars?