CaseEncoder: A Knowledge-enhanced Pre-trained Model for Legal Case Encoding