Task: Text to Code
Input (English): Find the zip code in which the average mean visibility is lower than 10.
Output (English): SELECT zip_code FROM weather GROUP BY zip_code HAVING avg(mean_visibility_miles)  <  10