Structure theory of metric measure spaces with lower Ricci curvature bounds