China censors public mourning as it holds former premier’s funeral