Real-time optimization for train regulation and stop-skipping adjustment strategy of urban rail transit lines