Measuring the Boltzmann constant by mid-infrared laser spectroscopy of ammonia