A mine that uses a series of tunnels dug deep into the ground is called