How the justices weighed Trump’s rhetoric on Muslims in travel restriction choice