Towards Efficient Scheduling of Federated Mobile Devices under Computational and Statistical Heterogeneity