Quantitative, Dynamic TaOx Memristor/Resistive Random Access Memory Model