Automatic Construction of Efficient Multiple Battery Usage Policies