Which Python library provides the `word_tokenize()` function for splitting text into individual tokens?