Using waveform cross correlation for detection, location, and identification of aftershocks of the 2017 September 3 nuclear explosion at the North Korea test site