Theory of plate tectonics