PhaseNet: A Deep-Neural-Network-Based Seismic Arrival Time Picking Method | Synapse