How do I include web3 in JavaScript?