How to include external JavaScript in HTML