Food production from air: gas fermentation with hydrogen-oxidising bacteria