Text this: Geological formation names of China (1866-2000)