Implementation and analysis of efficient graph planarity testing algorithms