Someone paid $12 for the Google.com domain. Here’s how Google got it ...