ORThought: Benchmarking and Automating Logistics Optimization Modeling