Ab initio modelling of oxygen vacancy arrangement in highly defective HfO2 resistive layers