How can web developers use JavaScript in an HTML document