patent infringement proceedings