Theoretical Viability Analysis of an Active Buoyancy Control System for Heavy-Cargo Airships Using a Closed Thermal Cycle | Synapse