“This case presents a question that is fundamental to the Hatch-Waxman framework: what patents must be listed in the Orange Book?”