China’s tech workers protest brutal work culture with communist jingles