it was used in mining