What should someone do when they experience a leg muscle cramp or spasm?