On the Decidability and Complexity of the Structural Congruence for Beta-binders