FedGreen: Carbon-aware Federated Learning with Model Size Adaptation