Post-Disaster Restoration of Drinking Water Distribution Networks