Theoretical Models of Neurovascular Coupling: Role of Potassium Ions