Minimization Algorithm for Symbolic Bisimilarity