Islam and nation formation in Indonesia