Over-Tokenized Transformer: Vocabulary is Generally Worth Scaling