awk implementation for is_leap_year