Modeling of subway stations circulation facilities as state-dependent queuing network based on phase-type distribution.