Population growth and educational progress in Ceylon