tiempo de cocción de las alcachofas en olla rápida