Current global population size, post-whaling trend and historical trajectory of sperm whales