Docker: 4 useful tips, you may not know about