How JavaScript engines achieve great performance