Ure's dictionary of arts, manufactures, and mines : containing a clear exposition of their principles and practice