Distributed O(∆ log n)-Edge-Coloring Algorithm