What is Docker and how does it work?