Thermodynamic analysis for high-power electricity generation systems based on closed-Brayton-cycle with finite cold source on hypersonic vehicles