Samsung Nexus 10 officially announced