How would you explain the difference between batch processing and stream processing for engine sensor data at Pratt & Whitney?