President Trump says he wants to strip funding from so-called “sanctuary cities,” but what exactly