Instant Pot Beef Barbacoa Tacos

Name: Instant Pot Beef Barbacoa Tacos
Ingredients: 1/4 cup apple cider vinegar; 2 tablespoons freshly squeezed lime juice; 3 cloves garlic, minced; 1 chipotle chile in adobo, minced; 2 teaspoons ground cumin; 2 teaspoons dried oregano; 1 teaspoon salt; 1/2 teaspoon freshly ground black pepper; 1/4 teaspoon ground cloves; 2 tablespoons vegetable oil; 2 1/2 pounds boneless beef chuck roast, trimmed of most fat and cut into large chunks; 1/2 cup reduced-salt chicken broth or All-Purpose Chicken Stock; 2 bay leaves; Small (6-inch) corn tortillas, for serving; Salsa or pico de gallo, for serving; Cotija cheese, for serving