HiRID-ICU-Benchmark - A Comprehensive Machine Learning Benchmark on High-resolution ICU Data (2021-11-16T00:00:00.000000Z)