How big a lead-acid battery should a national standard vehicle use