Paul Crutzen, who shared Nobel for ozone work, has died