Now in effect: Details of Trump's travel ban