Miller%E2%80%93Rabin primality test