El-Picker: a machine learning-enhanced robust P-phase picker for real-time seismic monitoring