Text this: A Multi-Objective Optimization Method for Carbon–REC Trading in an Integrated Energy System of High-Speed Railways