Lithology Classification Based on Well Log Data: A Benchmark for Machine Learning Models | Synapse