Quasi-Linear Vacancy Dynamics Modeling and Circuit Analysis of the Bipolar Memristor