Size estimate of bull shark from video