The edge cases after shipping: re-arming Android alarms after a reboot and counting app usage across midnight