Understanding the Mechanics of Persuasive System Design: a Mixed-Method Theory-driven Analysis of the Mobile Fitness Coach Freeletics