LexSumm and LexT5: Benchmarking and Modeling Legal Summarization Tasks in English