Automatically Suggesting Diverse Example Sentences for L2 Japanese Learners Using Pre-Trained Language Models