How does vinegar tenderize ribs?