patent-definition