Inference in Regression Discontinuity Designs with a Discrete Running Variable