Graph Edge Coloring: Vizing's Theorem and Goldberg's Conjecture