How AWS S3 serves 1 petabyte per second on top of slow HDDs