Does Network Width Really Help Adversarial Robustness?