Towards a Notion of Unsatisfiable Cores for LTL