Added information about ice mining for the next spreadsheet.

New models: Ice Ore, Ice Product, and Ice Yield which is the relation
between Ice Products and Ice Ores and also holds the quantity of the product
that results from refining the ore at 100% yield.