Production Efficiency and Size in Norwegian Sawmilling