Characterizing user engagement with health app data: a data mining approach | Synapse