Models/DataContext.cs: added; Models/Initializer.cs: modified