Roasted Pork Tenderloin with Shallot Mushroom Pan Sauce