does socket.io use redis pub/sub at all?