Mortality of coke plant workers in The Netherlands.