Legal Case Document Summarization: Extractive and Abstractive Methods and their Evaluation