Non-linear seismic analysis of base-isolated RC frame structures