benzodiazepines for muscle spasms