The Sea Island Mathematical Manual — ancient Chinese treatise on surveying