Supreme Court gives patent holders discretion on infringement suit timing,