Randomized algorithm for graph edge coloring