Mustard-Crusted Pork with Carrots and Lentils