The conjugacy problem for knot groups