20130501 world.china: China pips US to become world's biggest PC market