US government workers in diversity offices to be put on paid leave: White House