An 8th-century meridian line: I-Hsing's chain of gnomons and the pre-history of the metric system