The emergence of the deterministic Hodgkin--Huxley equations as a limit from the underlying stochastic ion-channel mechanism