Google revenue doubles