New algorithms and data structures for the emptiness problem of alternating automata