The ruthless efficiency of industrial whaling has finally been quantified