Probabilistic amplitude shaping for continuous-variable quantum key distribution with discrete modulation