Stroke rates and diving air volumes of emperor penguins: implications for dive performance