Environmental Impact Assessment and Environmental Audit in Large-Scale Public Infrastructure Construction: The Case of the Qinghai–Tibet Railway