The Law of Personal Injuries in Mines, Including All Character of Personal Injuries, Received in and about Mines and Quarries, Treating of Injuries Received by Employees; Actions by Third Persons for Their Negligence and Injuries from the Negligence of Independent Contractors