Infrastructure and Dutch economic development: a new long run data set for the Netherlands, 1800-1913