President Trump's executive order on religious liberty, annotated