Chance-constrained data envelopment analysis modeling with random-rough data