Direct numerical simulations of aeolian sand ripples