Theory of Branched Minimal Surfaces