Federated Learning under Heterogeneous and Correlated Client Availability