https://www.daniel-mitchell.com/blog/compact-or-resize-vhd-file/