Mathematical Aspects of Hodgkin-Huxley Neural Theory