Graph edge coloring distinguishing adjacent vertices