Erasure Coding in Action: How Big Tech Saves Petabytes of Data