What name is given to the common salt which is mined from underground deposits? How was this salt mined?

Common salt is mined from the underground deposits called rock salt.

The salt mined which is then undergone evaporation and make common salt.