How big a battery should be used for off-grid photovoltaic power generation