An Efficient Algorithm for Constructing Minimal Trellises for Codes over Finite Abelian Groups