Mortality among professional divers in Norway.