Opere di mina: La galleria di demolizione di brienno (Como)