the processing of rock salts