A finite equational base for CCS with left merge and communication merge