Name the metal which is extracted from the ore called 'rock salt'.