Counting 11 million undocumented immigrants is easier than Trump thinks