MOD:use redis to get push receiver info in PushMessageModel