什么是发明专利,发明专利包括哪些类型