the process of mining salt