The Construction of Historical GDP Estimates of Singapore, 1870-1900: Progress and Perspective