If you’ve ever browsed the internet, used GPS to avoid traffic, or asked your smartphone a question, you might want to thank an agency that many people have never even heard of.