Energy Scheduling For Task Execution On Intermittently-Powered Devices