Federated Learning for Semantic Parsing: Task Formulation, Evaluation Setup, New Algorithms