Spicy Roast Pork Tenderloin with Three-Cheese Smashed Potatoes and Roasted Asparagus, Green Beans and Lemon