Pre-trained Language Model and Knowledge Distillation for Lightweight Sequential Recommendation