judías verdes con patata y zanahoria en olla rápida