Defect density evaluation in a high-k MOSFET gate stack combining experimental and modeling methods