Machine-Learning-Based Automatic Well-Log Depth Matching