Leveraging Local Image Redundancy for Efficient Virtual Machine Provisioning