tools used for mining magnesium