The painful and permanent stiffening of a muscle is called