In Numbers: China sees travel boom during May Day holiday