Observing atmospheric formaldehyde from space: validation and implications