Ab initio modeling of structure and defects at the HfO2/Si interface