13-year-old coder’s water campaign reaches 1 million people, saves 20 million gallons