Progresses in Modeling HfOx RRAM Operations and Variability