Linear-Time Construction of Word Suffix Trees -- Obtaining Provably Good Performance