Does switching video formats affect streaming energy consumption? We measured it.