A Logical Pattern Memory Pre-trained Model for Entailment Tree Generation