A Spatial Forecasting Model for Solar PV Generation and Its Application in Household Electricity Management