MLBench: Distributed Machine Learning Benchmark — MLBench 2020 documentation