[Commit 6] Modify models specifications, create migrations