how do muscle relaxer pills work