An elevator malfunction killed 1 and trapped 12 at a Colorado tourist mine