The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems