Rigorous mean-field limit and cross-diffusion