Vertex-distinguishing proper edge-colorings