Dissecting role of AAA-ATPase RUVBLs in circadian system via mathematical modeling