A quantitative analysis of global gazetteers: Patterns of coverage for common feature types. (July 2017)