Efficiently four-coloring planar graphs — article