A scalable system to measure contrail formation on a per-flight basis | Synapse