Perspectives paper: First principles modeling of high-k gate dielectrics