what are the machine usually used in tunneling and mining