How does EFCore Migrations work for actual deployment? - C#