Explicit dynamics modeling of blade cutting of thin shells