Find the mean of the following data set: 12.5, 15, 13.5, 11, 13