What is a mach number and how is it worked out?