Text this: QoE-Energy Consumption Optimization for End-User Devices in Adaptive Bitrate Video Streaming Using the Lagrange Multiplier Method