Nexus 4 announced, Galaxy Nexus no longer in Play Store?