Variational Principle for Topological Entropy