Almost Tight L0-norm Certified Robustness of Top-k Predictions against Adversarial Perturbations