Purification and characterization of an NAD+-linked formaldehyde dehydrogenase from the facultative RuMP cycle methylotrophArthrobacter P1