https://www.ask-sheldon.com/resize-virtual-disk-vdi/