Solubilization and properties of formate dehydrogenases from the membrane of Escherichia coli