Diferentes tipos de tuneladoras, y tuneladora tipo usada en la L-1 de Metro de Sevilla