A Distributed Algorithm for Graph Edit Distance