Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies