The long-run heterogeneous effects of a cholera pandemic on stature: Evidence from industrializing Japan