Quantitative dopant profiling in semiconductors: A Kelvin probe force microscopy model