An NP-Complete Fragment of LTL