Methodological Foundations Of The Synthetic Control Group Design: Formalizing Model Construction For Case Study Applications In The Social Sciences