PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms