What Does Docker Do, and When Should You Use It?