Books for industry: Construction Robotics Engineering