Minimality And Duality Of Tail-Biting Trellises For Linear Codes