An early-stage design procedure for circular tunnel lining under seismic actions