Health, work, and leisure before the industrial revolution.