k-fault tolerant network design