Using Graph Properties to Speed-up GPU-based Graph Traversal: A Model-driven Approach