Linear-time matching of JavaScript regular expressions