Optimized Lightweight Federated Learning for Botnet Detection in Smart Critical Infrastructure