Asymptotic security of discrete-modulation protocols for continuous-variable quantum key distribution