For toothed whales, sound production is all in the nose