Client Selection in Federated Learning: Convergence Analysis and Power-of-Choice Selection Strategies