RRAM Memories with ALD High-K Dielectrics: Electrical Characterization and Analytical Modeling