Sulfur mining at the crater of Kawah Ijen on Java