docker history, image size, and layer dedup