Text this: A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques