Learning Planning Action Models from State Traces