Definition and Proposed Realization of the International Height Reference System (IHRS)