Automatic microseismic signal classification for mining safety monitoring using the WaveNet classifier