Dynamic optimal foraging theory explains vertical migrations of Bigeye tuna.