Embedding of topological dynamical systems into symbolic and product symbolic dynamical systems