History of seismology