pub fn required_propellant_mass( dry_mass_kg: f64, delta_v: KmPerSec, ve: KmPerSec, ) -> f64
Required propellant mass (kg) given dry (post-burn) mass and ΔV.
m_prop = m_dry × (exp(ΔV/vₑ) - 1)