FedForecast: A federated learning framework for short-term probabilistic individual load forecasting in smart grid