[SPARK-2082] stratified sampling in PairRDDFunctions that guarantees exact sample size

Implemented stratified sampling that guarantees exact sample size using ScaRSR with two passes over the RDD for sampling without replacement and three passes for sampling with replacement.
Those bounds are also used in `takeSample`. Should we have BernoulliBounds in SamplingUtils, similar to PoissonBounds?