How long would it take how many humanoid robots to construct a flatpacked bulldozer, a tunneling machine, and airlocks?