A V² Algorithm for Determining Isomorphism of Planar Graphs