编写程序，判断某一年是否是闰年。