Implicit integration of constitutive equations in computational plasticity