The history of error correction and detection and how it led to Ceph’s Erasure Coding Techniques