Federated Dropout: Convergence Analysis and Resource Allocation