Gamification in a Physical Activity App: What Gamification Features Are Being Used, by Whom, and Does It Make a Difference?