16-year-old uses AI to map pollution and drive countywide policy change