US Navy buys Linux to guide drone fleet