It seems impossible that they could dig so many hundreds of meters of tunnel in just one mountain