判断闰年的算法。