Randomized Matrix Multiplication: Exact Computation and Probabilistic Bounds