What is a mach number and what is it used for?