Grouting diamond-drill holes at the Christmas mine, Gila County, Ariz: With notes on the setting properties of cements and the use of liquid carbon dioxide as a pressuring agent in grouting