国家开放大学形成性考核有哪些类型