The mortality of coke workers in Britain.