Energy Characterization of Embedded Real-Time Operating Systems