php: array_merge & array + array