Satellite Federated Edge Learning: Architecture Design and Convergence Analysis