White dwarf luminosity function