Correct way to set user properties for mixpanel