Planar Graphs: Theory and Algorithms (Dover Books on Mathematics)