Update documentation for using docker