Memristor for Neuromorphic Applications: Models and Circuit Implementations