Epidemiologic study of vinyl chloride workers: mortality through December 31, 1972.