como cocer oreja de cerdo en olla rápida