Trump, joined by Musk in Oval Office, orders up big cuts in federal workforce