the acrobatics of a humpback whale .