process and machinery for salt mining