2-D Electrophoresis Modeling of Multienzyme Cutting of Polypeptides