Deep-learning-based phase picking for volcano seismicity