目前国内已建的最高碾压混凝土坝工程为()。