A heterarchical program for recognition of polyhedra