Planar Graphs and Graph Coloring