Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems