Trump picks Boeing executive for Mattis deputy as Pentagon gets budget boost