Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing