设学生管理数据库有3个基本表， 学生（学号，姓名，性别，专业，总学分） 课程（课程号，课程名，学分） 选课（学号，课程号，分数） 请创建并执行存储过程p_course_fail，根据指定课程号统计该课程的不及格人数，再列出该课程不及格的学生姓名及其分数。执行该存储过程, 查询001号课程的不及格情况。