On Minimal Doubly Resolving Sets of Circulant Graphs