What is Docker?, and How It Works