Baked Pork Tenderloin With Gravy