“Whether a first-filed, first-issued, later-expiring patent can be invalidated by a later-filed, later-issued, earlier-expiring patent for obviousness-type double patenting.”