Where is the external power supply for the battery