A benchmark problem for eddy current nondestructive evaluation