Stochasticity Modeling in Memristors