Similar Items: Model Checking Flat Freeze LTL on One-Counter Automata