the process of salt mining