A Large-Scale Web Search Dataset for Federated Online Learning to Rank