In what method for reducing stress does a health professional measure tension ins the body’s muscles in response to certain stressors?