LanzaTech partners with US Navy on alt-protein