Single ion channel in NeuroML2 format: standard Potassium channel from the Hodgkin Huxley model