The SIMD Model of Parallel Computation