[binary_exponentiation] Add the binary exponentiation algorithm