Finite Automata Extraction: Low-data World Model Learning as Programs from Gameplay Video