How is patent prosecution distinct from patent litigation?