equipment used to mine salt