merge vertices by proximity