Statistics for Minimum Triangle Separation for Correct Z-Buffer Occlusion