Derivation and generation of path-based valid inequalities for transmission expansion planning uri icon