A Batching Method for Coloring Planar Graphs