A mixed explicit–implicit time integration approach for nonlinear analysis of base-isolated structures