Algorithm theoretical baseline for formaldehyde retrievals from S5P TROPOMI and from the QA4ECV project | Synapse