White House pulls Antoni nomination to lead labor statistics agency