What is an executive order? A look at Trump’s tool for quickly reshaping government