Introduction to the construction engineering of seismic isolated buildings