It's official: Google will bid in the 700 MHz auction