An Equational Axiomatization of Bisimulation over Regular Expressions