Annotated Programming For Energy-Efficiency In Mobile Applications