Indonesia’s statistics bureau has completed its once-a-decade population census despite the challenges of Covid-19