tiempo de coccion de repollo en olla rapida