The Miners Dictionary. Explaining not Only the Terms Used by Miners, but Also Containing the Theory and Practice of That Most Useful art of Mineing, More Especially of Lead-mines