High-performance realtime video processing (in Python)