Estimating mobile application energy consumption using program analysis | Synapse