Exact and Approximate Algorithms for ML Decoding on Tail-Biting Trellises