LEXTREME: A Multi-Lingual and Multi-Task Benchmark for the Legal Domain