How big is the battery power supply capacitor