How Quickly Do Users Reach for Their Smartphones After Waking Up?