Labor Day holiday: Tourism boom a boost to China's economy?