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