Instant Pot Braised Lamb with Garlic and Tomatoes ragout