How Distributed File Servers Handle BILLIONS of Files