Statistics for Real-Time Pixel-Perfect Hard Shadows with Leak Tracing