Virtual Network Survivability through Joint Spare Capacity Allocation and Embedding