Trump taps Army head Gen. Mark Milley as Joint Chiefs of Staff chairman