what is the process of salt mining