MVC4, EF5, Migrations