Learning Solver Design: Automating Factorio Balancers