郭守敬改进了简仪和什么主持修订了什么