An Efficient Algorithm for Aggregating PEPA Models