20130501 tech.tech-news: China pips US to become world's biggest PC market