Extracting mutual exclusion invariants from lifted temporal planning domains