Between strip and shaft mining, which is less harmful to the environment? And which is less harmful to the miners?