干支纪年法的公式怎么推导的