Contrail formation: generalised theory and a mitigation proposition for fuel-cell-propelled aircraft | Synapse