Timbering and mining, a treatise on practical American methods