Efficiently escaping saddle points on manifolds