China's cities see travel boom during first post-epidemic Labor Day holiday