Latency Optimization for Blockchain-Empowered Federated Learning in Multi-Server Edge Computing