A set of DSC Resources for Microsoft System Center 2012 Configuration Manager