vegetable stock made in pressure cooker