Similarity and proportional reasoning