Direct numerical simulations of turbulent flows over superhydrophobic surfaces