tiempo de cocción de oreja de cerdo en olla rápida