json_encode redis value