The impacts of muscle-specific force-velocity properties on predictions of mouse muscle function during locomotion