Phase equilibrium of methane and nitrogen at low temperatures: Application to Titan