Alibaba’s workplace messaging platform DingTalk hits 500 million users