Vigorous exercise in leisure time and the death rate: a study of male civil servants.