Title: Seasonal labour oscillation in the Indian coal mining industry before independence