Leisure time and occupational physical activity: risk of death from ischemic heart disease.