Variability-aware modeling of electrochemical metallization memory cells