Mean-field Underdamped Langevin Dynamics and its Space-Time Discretization