Trump signs executive order for federal worker pay raise