tiempo de cocción del choclillo en olla a presión