halo_mass_function