Theory of Dislocations