Exploratory Grasping: Asymptotically Optimal Algorithms for Grasping Challenging Polyhedral Objects