Physiology and biochemistry of aerobic hydrogen-oxidizing bacteria.