Text this: Efficient implementation of the Hodgkin-Huxley potassium channel via a single volatile memristor