Theory of kaonic atoms