Optimal service level allocation in environmentally powered embedded systems