Density of reef sharks estimated by applying an agent-based model to video surveys