Vizing's planar graph conjecture