Benchmarking, measuring, and optimizing : second benchcouncil international symposium, Bench 2019, Denver, CO, USA, november 14-16, 2019, revised selected papers (2020)