National emergency declared on Trump’s border wall, explained