Petri net Modelling to Assess the Performance of the Protein Folding Machinery for Recombinantly Expressed Proteins in Escherichia coli