在我国二十四节气中，夏至这一天白昼最长，冬至这一天白昼最短。北京夏至这一天的白天时间大约是15小时，冬至这一天的白天时间比夏至这一天的白天时间少40%。北京冬至这一天的白天时间大约是多少小时？