Garlic Baked Pork Tenderloin