Proportional lumpability and proportional bisimilarity