I have heard something about pump socks. what exactly are they, and do I need
them?