Muslims in Indonesia: distribution according to the 1980 census