Thermodynamic properties of a mixture of He and N2 at high pressures determined from speeds of sound