Models and migrations for users and workouts