Communication-Efficient Federated Optimization over Semi-Decentralized Networks