Red Lentils with Garlic and Mint