Haishi Bai: By how much does redundancy improve availability?