Measuring and Modeling the Power Consumption of the Raspberry Pi