Post-failure repair for cloud-based infrastructure services after disasters