ITC or district court: considering the optimal forum for US patent infringement cases