Designing carbon markets, Part I: Carbon markets in time