The Nexus 10 is a tablet computer co-developed by Samsung Electronics, a, the world's second largest information technology company by revenue after which company?