“Whether a single-step patent claim that describes its point of novelty solely in functional terms violates the rule against functional claiming set forth in Halliburton Oil Well Cementing Co. v. Walker, 329 U.S. 1 (1946).”