cocer judias verdes en olla rapida