New approaches to the prediction of the folding of membrane proteins with redox function