Surplus Allocation Mechanism in Vietnam's High-Speed Rail Public-Private Partnership: A Game Theoretic Approach | Synapse