Freezing of binary hard-sphere mixtures into disordered crystals: a density functional approach