Statistics of J1721+8842: a gravitationally lensed binary quasar with a proximate damped Lyman-α absorber