利用STC15系列单片机设计交通信号灯，通过P4.6引脚连接绿灯，P4.7引脚连接红灯，P4.5引脚连接黄灯，设置IRC频率为12MHz，同一时刻有且只有一个交通灯亮，绿灯和红灯每次亮20s，红绿灯转换时黄灯亮2s。要求写出设计思路（2分），并根据自己的思路计算出定时器初值（2分，最终完成程序（6分）。