Internet Archive BookReader - Rock excavation, methods and cost