Venus observations from ENVISAT–SCIAMACHY: Measurements and modeling