Design Lessons from a Micro-Randomized Pilot Study in Mobile Health