how is salt extracted by deep shaft mining