Tropospheric HCHO retrieved from OMI, GOME(-2), and SCIAMACHY within the Quality Assurance For Essential Climate Variables (QA4ECV) project