Tackling Computational Heterogeneity in FL: A Few Theoretical Insights