A 14-year-old proved the U.S. government could save $370 million/year by changing fonts