What percentage was the population of East Pakistan of the total population of Pakistan?