Monotonicity principle in pulsed eddy current testing and its application to defect sizing