灌注桩混凝土水下灌注时，其混凝土顶面标高至少要比设计标高高出（ ）。