tiempo de coccion de morros de cerdo en olla rapida