rock salt mining and processing