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