Occupational social class, occupational physical activity, and leisure-time physical activity