Security Analysis of WeChat’s MMTLS Encryption Protocol