Processing huge NumPy arrays with memory mapping