Stav dette: Seismic signals from mining operations and the Comprehensive Test Ban Treaty