Causes of leg muscle tension during sleep: explanation and treatments