Discovering a symbolic planning language from continuous experience