A perfect reconstruction property for PDE-constrained total-variation minimization with application in Quantitative Susceptibility Mapping