Despite Trump push, number of undocumented immigrants removed up only slightly