Docker: what it is and why you should use it in your company