A review of behavioural ecology of whale sharks (Rhincodon typus)