Instant Pot Bean Soup with Pearl Barley

Name: Instant Pot Bean Soup with Pearl Barley
Ingredients: 2 tablespoons extra virgin olive oil; 3 cloves garlic (minced); 1 cup diced carrots; 1 cup diced celery; 1 cup sliced mushrooms; 1/2 cup diced yellow onion; 1 bay leaf; 1 cup pearl barley; 1 teaspoon Herbes de Provence; 6 cups low sodium vegetable broth (can substitute chicken broth for a non-vegetarian option); 1 15-oz can white beans (such as Great Northern beans or cannellini beans); 1 teaspoon Kosher salt (to taste); 1 pinch Freshly ground black pepper (to taste); 4 cups baby spinach; 1 teaspoon sherry vinegar