php code to copy data from mysql to redis using hash sets