A quick introduction to Docker