Deciphering the effects of agglomeration economies on firms' productive efficiency