Finite equational bases in process algebra: results and open questions