判断该年是否为闰年的程序