China developed the world’s first hard rock blast tunneling machine