Does Functional Package Management Enable Reproducible Builds at Scale? Yes. [pdf]