Verizon-Redbox Deal Offers Another Streaming-Video Option