Mozilla pays 12-year-old San Jose boy for hunting bugs in system