Overview of the CoverageJSON format