Basic introduction and use of Docker