Baked pork tenderloin garlic