Which prophet, known for his lamentations, also prophesied the eventual restoration of Israel after their exile, including the promise of a new covenant written on their hearts?