Shrink: An OLAP Operation for Balancing Precision and Size of Pivot Tables