VLSP 2023 -- LTER: A Summary of the Challenge on Legal Textual Entailment Recognition