Linearly-Used State in Models of Call-by-Value