How much would a united Ireland cost?