Describir: A Theory of Branched Minimal Surfaces