Seol mar théacs é seo: Seismic signals from mining operations and the Comprehensive Test Ban Treaty