“When may a court discount a claim limitation in the body of a claim for purposes of assessing patentability?”