adding migrations for EF