Semiparametric proximal causal inference