Federated Gaussian Process: Convergence, Automatic Personalization and Multi-Fidelity Modeling