cocer repollo en olla rapida