Construction Digitized Its Machines. The Workforce Is Still on Paper.