DiTing: A large-scale Chinese seismic benchmark dataset for artificial intelligence in seismology