Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs