Using device diversity to protect data against batch-correlated disk failures