The stature of the Colombian elite before the onset of industrialization, 1870-1919