Instant pot red lentil soup with yogurt and mint