Discovering Options for Exploration by Minimizing Cover Time