Marco Bader: Energy Optimization for Video Decoders Using Different Energy Models